科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于双转换petri网的嵌入式系统规范建模技术
Mauricio Varea; Bashir Al-hashimi;
机译:基于Petri网的多Agent系统模型重写逻辑规范自动生成算法
机译:优先时间Petri网对实时嵌入式系统的组成规范
机译:基于双重过渡Petri网的嵌入式系统规范建模技术
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:基于智能图像传感技术和异质双核嵌入式系统架构的基于视觉的驾驶员夜间辅助监控系统
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于离散事件系统规范的嵌入式设备建模与仿真的系统和方法
机译:基于网络的系统,用于使用基于用户规范确定的硬件配置程序在建模系统中配置可编程硬件元素
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。